81. Probabilistic Methods for Algorithmic Discrete Mathematics
Author: edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
82. QCA with R :
Author: Adrian Duşa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical statistics-- Data processing.,R (Computer program language),Mathematical statistics-- Data processing.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Political science & theory.,R (Computer program language),Social research & statistics.
Classification :
QA276
.
45
.
R3
83. Quantum physics and geometry /
Author: editors Edoardo Ballico, Alessandra Bernardi, Iacopo Carusotto, Sonia Mazzucchi and Valter Moretti.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geometry.,Quantum theory.,Geometry.,Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
Classification :
QC174
.
12
84. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
Author: ]edited by[ Harrie de Swart
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
Classification :
QA
76
.
9
.
R36
2011
85. Symbolic Algebraic Methods and Verification Methods
Author: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.,Mathematics.
Classification :
QA76
.
9
.
M35
E358
2001
86. Symbolic and algebraic computation
Author: / P. Gianni, ed
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics -- Data processing -- Congresses,Algebra -- Data processing --Congresses
Classification :
QA
76
.
95
.
I57
1988
87. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
Author: P. Gianni, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
358
88. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
Author: / P. Gianni, ed
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
Classification :
QA76
.
95
.
I57
1988
89. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
Classification :
QA
76
.
95
.
I57
1988
90. Symbolic and algebraic computation. International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
Author: P. Gianni
Library: CENTRAL LIBRARY UNIVERCITY OF HORMOZGAN (Hormozgan)
Subject: ، Mathematics, Data processing, Congresses,، Algebra, Data processing, Congresses
Classification :
QA
76
.
95
.
I68S96
1988
91. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
Author: / P. Gianni, ed
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematics- Data processing- Congresses,Algebra- Data processing- Congresses
Classification :
QA76
.
95
.
I57
1988
92. The beauty of mathematics in computer science /
Author: Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
Classification :
QA76
.
9
.
M35
W84
2019
93. The joy of Mathematica
Author: Alan Shucat, Fred Shultz,Shuchat, Alan.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematica (Computer file),Mathematics,Data processing.
Classification :
QA76
.
95
.
S53
2000
94. Topics in nonlinear dynamics with computer algebra /
Author: Richard H. Rand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing,Dynamics-- Data processing,MACSYMA (Computer system),Nonlinear theories-- Data processing,Perturbation (Mathematics)-- Data processing
Classification :
QC133
.
R36
1994
